direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics
Zitatschlüssel geblerPeters16
Autor Gebler, Daniel and Peters, Kirstin
Jahr 2016
DOI 10.4204/EPTCS.222
Jahrgang 222
Download Bibtex Eintrag

Zurück

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Hilfsfunktionen